Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

The spread of COVID-19 in Italy resulted in the implementation of a lockdown that obligated the first time the general populace to remain at home for approximately two months. This lockdown interrupted citizens’ professional and educational activities, in addition to closing shops, offices and educational institutions. The resulting changes in people’s daily routines and activities induced unexpected changes in their thoughts, feelings and attitudes, in addition to altering their life perceptions. Consequently, the present study explores how young adults perceived their (...) lives under lockdown during the final week of March 2020, when the reported number of daily coronavirus infections reached its peak in Italy. The research was carried out among 293 university students (234 women and 59 men) with an average age of 20.85 years old (SD = 3.23). The researchers asked participants to describe the emotions, thoughts and experiences that characterized their time under lockdown. The study analyzed specific narratives related to time and space using grounded theory methodology, which was applied using Atlas 8 software, leading to the creation of 68 codes. The study organized these codes into three specific categories: confined in the present, confined in the past, and striving toward one’s goals. Finally, the researchers also created a core-category labeled “continuity of being.” The results showed that the closure of open spaces caused a division in participants’ perceptions of time continuity, with many viewing themselves as feeling fragmented and as living the present in a static and fixed way. Additionally, participants also saw the present as being discontinuous from the past, while, simultaneously, projecting toward the future and the changes it might bring. Finally, this study examined further implications surrounding individual projecting among young people in greater depth. (shrink)

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

In this work, we introduce families of multimodal maps based on logistic map, i.e., families of m-modal maps are defined on an interval I ⊂ ℝ, which is partitioned into non-uniform subdomains, with m ∈ ℕ. Because the subdomains of the partition are not uniform, each subdomain contains a unimodal map, given by the logistic map, that can have different heights. Therefore, we give the necessary and sufficient conditions for these modal maps present a multimodal family of m-modal maps, i.e., (...) a bifurcation parameter can set a unimodal map, a bimodal map, up to a m -modal map. Some numerical examples are given according to the developed theory. Some numerical examples are given in accordance with the developed theory. (shrink)

Entre los años 2015 y 2016 se produjo un aumento en las movilidades extraregionales a través de Centroamérica. La presencia de migrantes provenientes de varios países de África, produjo desafíos institucionales para su abordaje, así como la elaboración de discursos sociales estructurados en categorías raciales. Un concepto fundamental para entender dicha coyuntura es el cuerpo migrante, en su implicación ontológica y su carácter de trashumancia sobre las narrativas del poder representado por los Estados-nación y vinculado con el funcionamiento de regímenes (...) corporales, histórica y socialmente situados. Esta reflexión recupera la construcción racializada del cuerpo migrante en los dispositivos institucionales y en los discursos sociales vinculados con la coyuntura de las transmigraciones africanas producidas en Costa Rica en los últimos años. (shrink)

The contributions in this volume map out how technologies are used and designed to plan, maintain, govern, demolish, and destroy the city. The chapters demonstrate how urban technologies shape, and are shaped, by fundamental concepts and principles such as citizenship, publicness, democracy, and nature. The many authors herein explore how to think of technologically mediated urban space as part of the human condition. The volume will thus contribute to the much-needed discussion on technology-enabled urban futures from the perspective of the (...) philosophy of technology. This perspective also contributes to the discussion and process of making cities ‘smart’ and just. This collection appeals to students, researchers, and professionals within the fields of philosophy of technology, urban planning, and engineering. (shrink)

This book examines influential conceptions of sport and then analyses the interplay of challenging borderline cases with the standard definitions of sport. It is meant to inspire more thought and debate on just what sport is, how it relates to other activities and human endeavors, and what we can learn about ourselves by studying sport.

Abstract. Following the tracks of Ryle and based upon the theory of complex systems, we shall develop a characterization of action-based consciousness as an embodied, embedded, selforganized process in which action and dispositions occupy a special place. From this perspective, consciousness is not a unique prerogative of humans, but it is spread all around, throughout the evolution of life. We argue that artificial systems such as robots currently lack the genuine embodied embeddedness that allows the type of self-organization that is (...) relevant to consciousness. -/- Sommario. Seguendo la linea tracciata da Ryle e basata sulla teorie dei sistemi complessi, svilupperemo una caratterizzazione della coscienza basata sull’azione come un processo incarnato, situato e auto organizzante nel quale le azioni e le disposizioni occupano un ruolo decisivo. Da questo punto di vista, la coscienza non è una prerogativa esclusiva degli esseri umani, ma è diffusa nel mondo naturale grazie ai processi evolutivi. Noi sosteniamo che i sistemi artificiali come i robot attualmente sono carenti del tipo di relazione con la corporeità e con l’ambiente che consente quel tipo di auto-organizzazione indispensabile per l’emergenza della coscienza. (shrink)

Il principio di ripetizione ricopre un ruolo fondamentale in ogni forma d’espressione musicale e rappresenta uno dei più comuni ed efficaci espedienti compositivi. Oscillando fra stasi e movimento, i processi iterativi e le sequenze modulari influenzano in modo determinante la percezione dello spazio e del tempo e sfidano l’aspettativa dell’ascoltatore, originando architetture labirintiche e ossessive, e moduli ipnotici, che generano un impatto sulla sfera emotiva del fruitore. Il contributo esamina in chiave interdisciplinare l’impiego sistematico della ripetizione nella musica per violino (...) di due dei massimi violinisti compositori attivi nel tardo Seicento nell’area a cavallo delle Alpi: Heinrich Ignaz Franz von Biber (1644-1704) e Carlo Ambrogio Lonati (c. 1645-post1701). Entrambi, secondo modalità analoghe o difformi, sfruttarono la ripetizione tanto per sfidare la perizia esecutiva dell’interprete, quanto per consolidare, disgregare o rimodulare l’architettura formale e temporale delle composizioni, proponendo una bizzarra e ingegnosa disposizione degli episodi musicali. L’analisi di alcuni esempi di particolar rilievo e il confronto fra i due compositori permetterà di evidenziare un ventaglio di atteggiamenti ed espedienti compositivi, fornendo chiavi di lettura applicabili ad altri repertorî musicali e ambiti della conoscenza. (shrink)

In this article, we propose the Fair Priority Model for COVID-19 vaccine distribution, and emphasize three fundamental values we believe should be considered when distributing a COVID-19 vaccine among countries: Benefiting people and limiting harm, prioritizing the disadvantaged, and equal moral concern for all individuals. The Priority Model addresses these values by focusing on mitigating three types of harms caused by COVID-19: death and permanent organ damage, indirect health consequences, such as health care system strain and stress, as well as (...) economic destruction. It proposes proceeding in three phases: the first addresses premature death, the second long-term health issues and economic harms, and the third aims to contain viral transmission fully and restore pre-pandemic activity. -/- To those who may deem an ethical framework irrelevant because of the belief that many countries will pursue "vaccine nationalism," we argue such a framework still has broad relevance. Reasonable national partiality would permit countries to focus on vaccine distribution within their borders up until the rate of transmission is below 1, at which point there would not be sufficient vaccine-preventable harm to justify retaining a vaccine. When a government reaches the limit of national partiality, it should release vaccines for other countries. -/- We also argue against two other recent proposals. Distributing a vaccine proportional to a country's population mistakenly assumes that equality requires treating differently situated countries identically. Prioritizing countries according to the number of front-line health care workers, the proportion of the population over 65, and the number of people with comorbidities within each country may exacerbate disadvantage and end up giving the vaccine in large part to wealthy nations. (shrink)

The amount of information that is produced on a daily basis in the financial markets is vast and complex; consequently, the development of systems that simplify decision-making is an essential endeavor. In this article, several intelligent systems are proposed and tested to predict the closing price of the IBEX 35 index using more than ten years of historical data and five distinct architectures for neural networks. A multi-layer perceptron was the first step, followed by a simple recurrent neural network, a (...) gated recurrent unit network and two long-short-term memory (LSTM) networks. The results of the analyses performed on these models have demonstrated a powerful capacity for prediction. Additionally, the findings of this research point to the fact that the application of intelligent systems can simplify the decision-making process in financial markets, which is a substantial advantage. Furthermore, by comparing the predicted outcome errors between the models, the LSTM presents the lowest error with a higher computational time in the training phase. The LSTM was able to accurately forecast the closing price of the day as well as the price for the following one and two days in advance. In conclusion, the empirical results demonstrated that these models could accurately predict financial data for trading purposes and that the application of intelligent systems, such as the LSTM network, represents a promising advancement in financial technology. (shrink)

In this paper I analyse changes AIDS brought to research with human beings . One of the issues I consider is the relevance of ethical codes to these new proposals in research and if we are justified to think this implies a new paradigm in research . I evaluate some of the arguments activits of AIDS have done, the relevance of considering informed consent as the only criterium and I give special importance to the benefit-risk evaluation as one of the (...) necessary conditions for research work. (shrink)

Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...) typically bring out a consistent pattern of emotional responses. The present case study suggests that colours might be an intrinsic category of the human brain. We developed an empirical methodology that allowed us to study the subject's otherwise inaccessible phenomenological experience. First, we found that R shows a Stroop effect elicited by photisms despite the fact that he does not show a regular Stroop with real colours. Secondly, by manipulating the colour context we confirmed that colours can alter R's emotional evaluation of the stimuli. Furthermore, we demonstrated that R's auras may actually lead to a partially inverted emotional spectrum where certain stimuli bring out emotional reactions opposite to the normal ones. These findings can only be accounted for by considering R's subjective colour experience or qualia. Therefore the present paper defends the view that qualia are a useful scientific concept that can be approached and studied by experimental methods. (shrink)

The "people of knowledge" of traditional Mazatec medicine have preserved until today the ritual use of psilocybin mushrooms as part of their health care systems. The renewed interest in the effect of psilocybin on human consciousness for both therapeutic and recreational purposes usually obviates the historical and cultural background of indigenous peoples, as well as the legitimation of their practices and knowledge. In this article, through the case study of a foreign person who attended a Mazatec ritual specialist to participate (...) in a ritual night ceremony known as velada, we show the importance of approaching research on psychoactive plants and mushrooms from a transdisciplinary and intercultural perspective, so that we can appreciate the profound complexity of the healing processes that take place in traditional indigenous contexts, as well as the limits of recreational uses or exclusively neopositivist and clinical approaches. (shrink)

Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...) typically bring out a consistent pattern of emotional responses. The present case study suggests that colours might be an intrinsic category of the human brain. We developed an empirical methodology that allowed us to study the subject's otherwise inaccessible phenomenological experience. First, we found that R shows a Stroop effect (delayed response due to interference) elicited by photisms despite the fact that he does not show a regular Stroop with real colours. Secondly, by manipulating the colour context we confirmed that colours can alter R's emotional evaluation of the stimuli. Furthermore, we demonstrated that R's auras may actually lead to a partially inverted emotional spectrum where certain stimuli bring out emotional reactions opposite to the normal ones. These findings can only be accounted for by considering R's subjective colour experience or qualia. Therefore the present paper defends the view that qualia are a useful scientific concept that can be approached and studied by experimental methods. (shrink)

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

Patient outcome after serious brain injury is highly variable. Following a period of coma, some patients recover while others progress into a vegetative state (unresponsive wakefulness syndrome) or minimally conscious state. In both cases, assessment is difficult and misdiagnosis may be as high as 43%. Recent advances in neuroimaging suggest a solution. Both functional magnetic resonance imaging and electroencephalography have been used to detect residual cognitive function in vegetative and minimally conscious patients. Neuroimaging may improve diagnosis and prognostication. These techniques (...) are beginning to be applied to comatose patients soon after injury. Evidence of preserved cognitive function may predict recovery, and this information would help families and health providers. Complex ethical issues arise due to the vulnerability of patients and families, difficulties interpreting negative results, restriction of communication to “yes” or “no” answers, and cost. We seek to investigate ethical issues in the use of neuroimaging in behaviorally nonresponsive patients who have suffered serious brain injury. The objectives of this research are to: (1) create an approach to capacity assessment using neuroimaging; (2) develop an ethics of welfare framework to guide considerations of quality of life; (3) explore the impact of neuroimaging on families; and, (4) analyze the ethics of the use of neuroimaging in comatose patients. (shrink)

Introduction Currently, The nature and scope of Clinical Ethics Protocols in Madrid are not well understood.Objectives The main objective is to describe the features of ‘guideline/recommendation’ type CEPs that have been or are being developed by existing Clinical Ethics Committees in Madrid. Secondary objectives include characterisation of those CECs that have been the most prolific in reference to CEP creation and implementation and identification of any trends in future CEP development.Methods We collected CEPs produced and in process by CECs accredited (...) in the public hospitals in Madrid, Spain, from 1996 to 2008.Results CECs developed 30 CEPs, with 10 more in process. The most common topic is refusal of treatment . If CEPs addressing terminal illness, Do-Not-Resuscitate orders and advance directives are placed into a separate ‘ethical problems at the end of life’ category, this CEP subject emerges as the most common . There is a relationship between the age of the CEC and the development of CEPs . CECs now seem to be more likely to engage in CEP development.Conclusions The CECs in Madrid, Spain, have developed a significant number of CEPs and there is a trend towards continued development. The most frequent topics are ethical problems at the end of life and refusal of treatment by the patient. (shrink)

"Guzmancismo" was a bet to provide Venezuela with modernizing politics structures controlled by the balance of interests emong the different groups of pressure. It linked the regional leaders to the centralist proyect. allowing them to have plots of power and "clientelismo" under the condition of standing surety for the public order in their states. This long historical period of Venezuela is presided by the deep impact of positivism between the venezolan elites whe searched for the conformation of their national identity.

El Realismo Especulativo, Nuevo Realismo o Realismo Postcontinental es una corriente ecléctica que viene a superar las aporías e insuficiencias de la filosofía continental desde una perspectiva a la que se le podrían achacar los mismos problemas que la perspectiva idealista y constructivista de los filósofos continentales. Para el desarrollo de la filosofía es importante entablar conversación los autores de este movimiento. En el presente artículo se presenta una aproximación a los aciertos e insuficiencias de las ontologías de dos autores (...) de la corriente como son Markus Gabriel y Graham Harman. Se presentan los aciertos e insuficiencias del realismo neutro de Markus Gabriel y de la Ontología Orientada a los Objetos, en este orden. En el último epígrafe, a modo de conclusiones, se señalan los puntos en común de las ontologías y se aporta la idea de acontecimiento como línea de investigación que supere las aporías que emergen de la contraposición entre el idealismo y realismo. (shrink)

El siguiente trabajo parte del análisis de dos obras literarias que vieron su aparición en el Siglo XXI: Historia de los abuelos que no tuve, de Ivan Jablonka, y El gueto interior, de Santiago Amigorena, dos novelas que toman como eje temático y vertebrador de las narraciones la búsqueda e indagación del pasado reciente a través de dos historias de vida que guardan una profunda conexión con los hechos acontecidos durante el Holocausto. El objetivo es abordar y analizar la construcción (...) de la voz narrativa en cada una de las obras propuestas a partir de su articulación con la figura del silencio. En la obra de Jablonka, se observa, hay una identificación entre el narrador y sus abuelos paternos, mecanismo que se despliega al anular toda inconsistencia o vacío memorial; el silencio dejado por Mates e Idesa es el silencio de su nieto. Por su parte, en el relato de Amigorena, la voz del narrador toma distancia respecto a los acontecimientos al adoptar un punto de vista externo; a la vez que ficcionaliza la historia de su abuelo Vicente y la envuelve de un silencio absoluto e impotente, deja entrever que ese silencio desolador que atraviesa su historia familiar puede ser resignificado desde el presente. (shrink)